Whiley: a Platform for Research in Software Verification David J. Pearce and Lindsay Groves School of Engineering and Computer Science Victoria University of Wellington

Source URL: homepages.ecs.vuw.ac.nz

• C
• Data types
• Whiley
• Struct
• Foreach loop
• C++ classes
• ALGOL 68
• Union type
• Type system
• Typedef
• C Sharp syntax

JPure: A Modular Purity System for Java David J. Pearce School of Engineering and Computer Science, Victoria University of Wellington, New Zealand Email:

Source URL: homepages.ecs.vuw.ac.nz

• Type theory
• Data types
• Object-oriented programming languages
• Object
• Program analysis
• Type system
• Iterator
• Const
• Method
• Objective-C
• Type signature
• Covariance and contravariance

Dynamic Information Flow Analysis for Featherweight JavaScript Technical Report #UCSC-SOEThomas H. Austin UC Santa Cruz

Source URL: ect.bell-labs.com

• Software engineering
• Computer programming
• Computing
• Subroutines
• Lambda calculus
• Functional programming
• Data types
• JavaScript
• Eval
• Anonymous function
• Scope
• Substitution

Sound and Complete Flow Typing with Unions, Intersections and Negations David J. Pearce Victoria University of Wellington Wellington, New Zealand {djp}@ecs.vuw.ac.nz

Source URL: homepages.ecs.vuw.ac.nz

• Type theory
• Data types
• Functional languages
• Object-oriented programming
• Type systems
• Subtyping
• Whiley
• OCaml
• ALGOL 68
• Type conversion
• Const
• ML

Generic Views on Data Types Stefan Holdermans Johan Jeuring Andres L¨oh

Source URL: www.andres-loeh.de

A core data and behaviour language for E-LOTOS Alan Jeffrey Based on discussions at the COST 247 short term scientific mission attended by Hubert Garavel,. Guy Leduc, Charles Pecheur, Ricardo Pe˜na and Mihaela Sighirean

Source URL: ect.bell-labs.com

• Software engineering
• Computing
• Computer programming
• Data types
• Type theory
• C++
• Procedural programming languages
• ALGOL 68
• Type system
• C++ classes
• Subtyping
• Const

ECI Introduces the ElastiCLOUD™ Data Center and Cloud Networking Solution ElastiCLOUD, which guarantees high performance, secure, and cost efficient cloud networking of all types, will be showcased at NANOG, June 1-3 i

Source URL: www.ecitele.com

The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type Conversions in JavaScript Michael Pradel1 and Koushik Sen2 1 2

Source URL: mp.binaervarianz.de

• Software engineering
• Computing
• Computer programming
• Data types
• Operator
• Subtyping
• ALGOL 68
• Boolean data type
• JavaScript
• Primitive data type
• Null
• Relational operator

3D Geographic Visualisation and Animation Made Simple Arena 4D is a powerful software solution specifically designed to easily manipulate and exploit large, complex data types including LIDAR, incorporating a rapid point

Source URL: www.aprservices.net

Wander Types - Realizing Data Structures Through Coinduction-Recursion

Source URL: www.duplavis.com